21![RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing](https://www.pdfsearch.io/img/1d1d44a1d930ac9b52d9c01e995b3018.jpg) | Add to Reading ListSource URL: ludovicpatey.comLanguage: English - Date: 2016-05-31 11:43:35
|
---|
22![On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade](https://www.pdfsearch.io/img/2ff5e004b1340ae2495d25f4380e5b33.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:11:16
|
---|
23![Theories and Ordinals: Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom How do ordinals measure the strength and computational power of formal Theories and Ordinals: Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom How do ordinals measure the strength and computational power of formal](https://www.pdfsearch.io/img/f24ac9d24217fd0b3ed5d64296209348.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-10-11 15:49:42
|
---|
24![LEARNING TO SEGMENT SONGS WITH ORDINAL LINEAR DISCRIMINANT ANALYSIS Brian McFee Daniel P.W. Ellis Center for Jazz Studies LEARNING TO SEGMENT SONGS WITH ORDINAL LINEAR DISCRIMINANT ANALYSIS Brian McFee Daniel P.W. Ellis Center for Jazz Studies](https://www.pdfsearch.io/img/91e2f0cf71c5c80bedb80c63db5d7229.jpg) | Add to Reading ListSource URL: bmcfee.github.ioLanguage: English - Date: 2016-05-31 12:44:38
|
---|
25![The Realm of Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Denn die Pioniere der Mathematik hatten sich von gewissen Grundlagen The Realm of Ordinal Analysis Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom Denn die Pioniere der Mathematik hatten sich von gewissen Grundlagen](https://www.pdfsearch.io/img/2ad9119e927cbef78c358cf37682f57f.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-10-11 11:54:34
|
---|
26![A Game on towers David Chodounsk´y Charles University in Prague June 5, 2010 A Game on towers David Chodounsk´y Charles University in Prague June 5, 2010](https://www.pdfsearch.io/img/0461da9efa2092db0b0750e039bd94e8.jpg) | Add to Reading ListSource URL: spot.colorado.eduLanguage: English - Date: 2010-06-05 23:00:07
|
---|
27![Co-Learning Bayesian Model Fusion: Efficient Performance Modeling of Analog and Mixed-Signal Circuits Using Side Information Co-Learning Bayesian Model Fusion: Efficient Performance Modeling of Analog and Mixed-Signal Circuits Using Side Information](https://www.pdfsearch.io/img/8d6c5dcfaa24e3dd8aa4a3be615f2b15.jpg) | Add to Reading ListSource URL: manzil.mlLanguage: English - Date: 2016-01-03 02:26:45
|
---|
28![Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England,](https://www.pdfsearch.io/img/01f143fef0c767e8a3fe59a395f5f398.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2013-05-15 05:52:40
|
---|
29![Ordinal Analysis and the Infinite Ramsey Theorem Bahareh Afshari1 and Michael Rathjen2 1 School of Informatics, University of Edinburgh, Edinburgh, UK Ordinal Analysis and the Infinite Ramsey Theorem Bahareh Afshari1 and Michael Rathjen2 1 School of Informatics, University of Edinburgh, Edinburgh, UK](https://www.pdfsearch.io/img/9c24d89515e1010226d624e7d44128b4.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-10-11 15:42:30
|
---|
30![](https://www.pdfsearch.io/img/0488e2af5b1a90e959e2aebf44002240.jpg) | Add to Reading ListSource URL: www.kroening.comLanguage: English - Date: 2015-02-13 06:17:10
|
---|